Extension of Configurational Polyhedra to Finite Temperature Property
نویسندگان
چکیده
منابع مشابه
Decidability of the Representation Extension Property for Finite Semigroups
We prove that the decision problem of whether or not a finite semigroup has the representation extension property is decidable. 1. The main theorem and preliminaries It is an immediate consequence of the normal form theorem for amalgamated free products of groups that every amalgam of groups embeds in some group. However, this result fails for semigroup amalgams: an early result of Kimura [6] s...
متن کاملThe Weak Extension Property and Finite Axiomatizability for Quasivarieties
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, RSD(∧), and the weak extension property, WEP. We prove that if K ⊆ L ⊆ L′ are quasivarieties of finite signature, and L′ is finitely generated while K |= WEP, then K is finitely axiomatizable relative to L. We prove for any quasivariety K that K |= RSD(∧) iff...
متن کاملThe Finite Basis Extension Property and Graph Groups
Introduction: A theorem of Marshall Hall, Jr. [5] (cf. also [2], [4]) states that if B = {h1, ..., hk} is a free basis for a finitely generated subgroup H of a f.g. free group F , and if {x1, . . . , xn} is a finite subset of F −H, then B can be extended to a free basis for a f.g. subgroup H∗ of finite index in F such that {x1, . . . , xn} ⊂ F −H∗. A similar theorem holds for free abelian group...
متن کاملConfigurational temperature of charge-stabilized colloidal monolayers.
Recent theoretical advances show that the temperature of a system in equilibrium can be measured from static snapshots of its constituents' instantaneous configurations, without regard to their dynamics. We report the first measurements of the configurational temperature in an experimental system. In particular, we introduce a hierarchy of hyperconfigurational temperature definitions, which we ...
متن کاملConfigurational Temperature Verification of Monte Carlo Simulations
A new diagnostic that is useful for checking the algorithmic correctness of Monte Carlo computer programs is presented. The check is made by comparing the Boltzmann temperature, which is input to the program and used to accept or reject moves, with a configurational temperature k T B config = ∇ ∇ q q Φ Φ 2 2 . Here, Φ is the potential energy of the system and ∇q represents the dimensionless gra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Materials Research Society of Japan
سال: 2016
ISSN: 1382-3469,2188-1650
DOI: 10.14723/tmrsj.41.363